An Integrated Approach to the Generation of Environments from Formal Specifications
نویسندگان
چکیده
This paper describes an experiment in the use of a persistent object store to support the construction and execution of a software development environment. This development environment presents the user with language specific editors which provide access to incremental parsers. The editors and parsers are automatically generated from a formal language specification based on attribute grammars. This is facilitated through the persistent management of types and values and a dynamically callable compiler. We demonstrate that the provision of a persistent object store gives the system designer more freedom and that this leads to the construction of novel software architectures.
منابع مشابه
Integrated Approach for Cellular Manufacturing a Case Study (TECHNICAL NOTE)
To cope with fast changing customer requirements, industrial demands and to meet stringent specifications of customers Cellular Manufacturing Systems has become an effective tool in hands of manufacturers. Most of the published literature on cell formation earlier considers only the data available in the route sheets and ignored subproblems associated with cell formation. There is a need to dev...
متن کاملStudy about Realizability Situation and Utilization Contexts of Water Sensitive Urban Design
Climate changes, failure to complete the natural cycle of water in the city due to unsustainableconstruction of the urban environments and increase of impervious surfaces, lack of nutrition of undergroundaquifer in the cities, unsustainable management of stormwater and the floods due to them in the periods of rainfallcaused to provide an approach that is called water sensitive urban design. Thi...
متن کاملAn Analysis of Self-Regulatory Learning Strategies in Secondary School Blended Learning Atmospheres: A Synthesis Research
This synthesis research has aimed to identify the features of blended learning environments which support self-regulatory learning strategies in high school students. The statistical population was derived from five foreign databases, consisting of 128 articles from 2017 to 2020. The data obtained were integrated using Sandelowski & Barroso's meta-synthesis method (2005). STROBE Checklist was u...
متن کاملIntegrated model for pricing, delivery time setting, and scheduling in make-to-order environments
Usually, in make-to-order environments which work only in response to the customer’s orders, manufacturers for maximizing the profits should offer the best price and delivery time for an order considering the existing capacity and the customer’s sensitivity to both the factors. In this paper, an integrated approach for pricing, delivery time setting and scheduling of new arrival orders are prop...
متن کاملContract Specification of Pipelined Designs: Application to Testbench Automation
In this paper we introduce a novel approach to formal specification of pipelined designs. The approach is based on contract specifications of pipe stages extended by a mechanism of temporal binding. Contract specifications describe the pipeline behavior in the form of preconditions and postconditions of pipe stages, while temporal binding combines specifications of separated stages into a co-op...
متن کامل